Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
361	PDF Document Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Model theory Philosophy of language Semantics Quantification First-order logic Skolem normal form Singular they Proposition Interpretation Logic Mathematical logic Predicate logic
362	PDF Document Add to Reading List Source URL: prosodylab.org Language: English - Date: 2012-01-05 06:33:32 Semantics Parts of speech Philosophy of language Grammar Predicate Unaccusative verb Subject Topicality Unergative verb Linguistics Logic Syntax
363	Full Substitutability∗ John William Hatfield† Scott Duke Kominers‡ Michael Ostrovsky¶ Add to Reading List Source URL: www.scottkom.com Language: English - Date: 2015-05-05 17:36:17 Interpretation Philosophy of language Philosophy of mind Semantics Constructible universe Liskov substitution principle Ordinal number Theoretical computer science Mathematical logic Model theory Logic
364	Polymorphic Embedding of DSLs Christian Hofer Klaus Ostermann Tillmann Rendel Adriaan Moors Add to Reading List Source URL: www.mathematik.uni-marburg.de Language: English - Date: 2008-08-04 08:41:32 Logic in computer science Type theory Programming language semantics Functional languages Denotational semantics Domain-specific language Scala Semantics Programming language Computing Software engineering Theoretical computer science
365	SIM-DLA : A Novel Semantic Similarity Measure for Description Logics Reducing Inter-Concept to Inter-Instance Similarity Krzysztof Janowicz and Marc Wilkes Institute for Geoinformatics, University of Muenster, Germany ja Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2011-07-21 01:43:35 Science Semantic similarity Artificial intelligence Similarity Description logic Symmetry Semantics Jaccard index Geometry Computational linguistics Statistics
366	Proceedings of the 11th NTCIR Conference, December 9-12, 2014, Tokyo, Japan University of Hyogo at NTCIR-11 TaskMine by Dependency Parsing Takayuki Yumoto Graduate School of Engineering, University of Hyogo Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-11-26 23:45:56 Semantics Information retrieval Query expansion Searching Negation Function Mathematics Science Mathematical logic
367	Technical Report UCAM-CL-TR-568 ISSNNumber 568 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 16:56:16 Logic in computer science Models of computation Programming language semantics Type theory Lambda calculus Name binding Type system Operational semantics Programming language Theoretical computer science Programming language theory Software engineering
368	Solving Logic Puzzles: From Robust Processing to Precise Semantics Iddo Lev,∗ Bill MacCartney,∗ Christopher D. Manning,∗† and Roger Levy† ∗ Department of Computer Science Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2004-05-23 19:03:12 Computational linguistics Philosophical logic Predicate logic Metalogic First-order logic Natural language processing Computational semantics Mathematical logic Well-formed formula Logic Science Semantics
369	What Next for ASP? (A Not-Entirely-Well-Informed Opinion) James Delgrande School of Computing Science Simon Fraser University Burnaby BC, V5A 1S6, Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2010-05-31 18:54:41 Science Non-classical logic Mathematical logic Programming paradigms Knowledge representation Non-monotonic logic Stable model semantics Default logic Knowledge representation and reasoning Logic programming Reasoning Logic
370	Horn Clause Belief Change: Contraction Functions James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6. Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:38:16 Formal languages Functions and mappings Interpretation Philosophy of mind Semantics Symbol Entailment Function Contraction Logic Mathematics Model theory

UPDATE